11.1 Some definitions
=====================